Benjamin Pierce - PDFSEARCH.IO - Document Search Engine

Benjamin Pierce
Results: 75

#	Item
11	Union Types for Semistructured Data Peter Buneman Benjamin Pierce University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Data types Type theory Type system Subtyping Union type Tagged union Pattern matching Monad ML Product type Type conversion Record
12	Local Type Inference Benjamin C. Pierce Computer Science Department Indiana University Lindley Hall 215 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-04-09 15:30:23
13	Matching Lenses Davi M. J. Barbosa (Polytechnique) Julien Cretin (Polytechnique/INRIA) Nate Foster (Cornell) Michael Greenberg (Penn) Benjamin C. Pierce (Penn) Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:43:06
14	Alan Schmitt 21 February 2012 CV Birth: 02 AprilNancy, France) Add to Reading List Source URL: alan.petitepomme.net Language: English - Date: 2014-01-18 03:32:54 Software engineering Computer science Computing Boomerang Functional programming Symposium on Principles of Programming Languages International Conference on Functional Programming Benjamin C. Pierce SIGPLAN Coq French Institute for Research in Computer Science and Automation Research Institute of Computer Science and Random Systems
15	Exploiting Schemas in Data Synchronization J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, and Alan Schmitt Abstract. Increased reliance on optimistic data replication has led to burgeon Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2011-10-19 09:27:06
16	Distance Makes the Types Grow Stronger: A Calculus for Diﬀerential Privacy (Extended Version) Jason Reed∗ Benjamin Pierce Add to Reading List Source URL: www.cs.unibo.it Language: English
17	Exploiting Schemas in Data Synchronization J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, and Alan Schmitt Abstract. Increased reliance on optimistic data replication has led to burgeon Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-09-16 09:24:54
18	Relational Lenses: A Language for Updatable Views Aaron Bohannon Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-04-07 16:27:04
19	Relational Lenses: A Language for Updatable Views Aaron Bohannon Benjamin C. Pierce Jeffrey A. Vaughan Technical Report MS-CIS-05-27 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-12-26 23:53:53
20	Combinators for Bi-Directional Tree Transformations A Linguistic Approach to the View Update Problem J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt University of Pennsylva Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-02-13 21:11:51

UPDATE